Second Year Progress Report Language Interoperability and Logic Programming Languages
نویسنده
چکیده
The LLP/Prolog to Java translator Prolog Café was altered to produce C# instead. New built-in predicates were added to enable the user to exploit the concurrency support in C# from the Prolog side. I now intend to work on optimising the translated code by detecting common programming idioms and by allowing the programmer to add mode annotations to their code. I also intend to add a module system and support for floating point arithmetic.
منابع مشابه
Second Year Progress Report
This progress report is about equation-based modelling languages. In particular, the report discusses work [4] on formalising semantic aspects of Functional Hybrid Modelling (FHM) [12] – a hybrid, structurally dynamic, non-causal modelling language – in the dependently-typed programming language Agda [13]. Section 2 gives a preliminary outline of equation-based languages and FHM. Section 3 give...
متن کاملThesis Proposal Language Interoperability and Logic Programming Languages
Logic programming languages, such as Prolog, are found to be particularly appropriate for solving problems involving logical deduction from a set of data. The .NET framework aims to support language interoperability, so it could be valuable to find ways of using languages such as Prolog within the .NET framework. One way in which this could be done is by translating Prolog to the new language C...
متن کاملInvestigating Discourse Socialisation Progress of an English as a Second Language Learner Using Systematic Functional Linguistic Approach
This study was framed on the theory of Language Socialisation and a Systematic Functional Linguistic (SFL) approach. The aim of the study was to analyse the oral presentation discourse produced by an elemen- tary Iranian English as Second Language (ESL) postgraduate student in an American university four times (September/December, 2015 and March/September, 2016) over one year. The data were col...
متن کاملLanguage Interoperability Safe C++
Most software systems are created not with a single language but instead with a collection of languages each carefully chosen to solve a particular set of problems within those systems. Typically the facilities for these languages to interoperate are constructed in an ah-hoc fashion and are thus tedious to use, error-prone, and do not preserve the safety properties of the languages involved. I ...
متن کامل